<html>
<head><meta charset="utf-8"><title>never type · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/never.20type.html">never type</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="135974746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/never%20type/near/135974746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/never.20type.html#135974746">(Oct 17 2018 at 14:04)</a>:</h4>
<p>Are people still working on making the never type stable, or is that taking a backseat to other things? Is there a dependency that needs to be met?</p>



<a name="135974749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/never%20type/near/135974749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/never.20type.html#135974749">(Oct 17 2018 at 14:04)</a>:</h4>
<p>we have to fix the coercion problems</p>



<a name="135974755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/never%20type/near/135974755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/never.20type.html#135974755">(Oct 17 2018 at 14:04)</a>:</h4>
<p>afaik nobody is actively working on it, but I've been hoping we'll pick it up post Rust 2018</p>



<a name="135975047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/never%20type/near/135975047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/never.20type.html#135975047">(Oct 17 2018 at 14:10)</a>:</h4>
<p>Is there a conceptual direction to fix them, or is it still further away than that? (Don't bother pulling any of this back into memory, these are just high-level curiosity questions)</p>



<a name="135975066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/never%20type/near/135975066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/never.20type.html#135975066">(Oct 17 2018 at 14:11)</a>:</h4>
<p>do you mean "do we know what to do, just haven't had time to do it"?</p>



<a name="135975067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/never%20type/near/135975067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/never.20type.html#135975067">(Oct 17 2018 at 14:11)</a>:</h4>
<p>if so, I'd say "no"</p>



<a name="135975073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/never%20type/near/135975073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/never.20type.html#135975073">(Oct 17 2018 at 14:11)</a>:</h4>
<p>we're not quite sure how to fix without breaking other things</p>



<a name="135975080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/never%20type/near/135975080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/never.20type.html#135975080">(Oct 17 2018 at 14:11)</a>:</h4>
<p>or at least</p>



<a name="135975122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/never%20type/near/135975122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/never.20type.html#135975122">(Oct 17 2018 at 14:12)</a>:</h4>
<p>the "eventual plan" that I think would work is kind of far off, not sure if there is a targeted hack</p>



<a name="135976037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/never%20type/near/135976037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/never.20type.html#135976037">(Oct 17 2018 at 14:28)</a>:</h4>
<blockquote>
<p>do you mean "do we know what to do, just haven't had time to do it"?</p>
</blockquote>
<p>Yep, that's what I meant. Thank you!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>